Simulation programs

Fault-simulation Programs For

Three programs are described here which have been used for integrated-circuit yield modeling at the IBM facility in Essex Junction, Vermont. The first program generates negative binomial distributions which are used to represent the frequency distribution of the number of faults per chip. Calculations with the generalized combination function A ! B in APL are limited to simulations of up to 99 ...

Cloning Parallel Simulation Programs

The Amber biomolecular simulation programs

We describe the development, current features, and some directions for future development of the Amber package of computer programs. This package evolved from a program that was constructed in the late 1970s to do Assisted Model Building with Energy Refinement, and now contains a group of programs embodying a number of powerful tools of modern computational chemistry, focused on molecular dynam...

Flexible Topology Description Language for Simulation Programs

The article proposes a language for the description of model topologies in discrete event simulators. The language contains an efficient way to create parametrized, flexible topologies. The language has been implemented as part of the OMNeT++ simulator. In most simulators, the support for defining the topology of the model can be improved upon. For this task, simulators either (1) do not provid...

Automated Discovery of Simulation Between Programs

Deciding equivalence between two programs (called a source and a target program) is often reduced to finding a simulation relation between them. This is computationally expensive and often requires a manual guidance. In this paper, we propose an abstraction-refinementguided approach, called SimAbs, to automatically construct a simulation relation between the source program and an abstraction of...